• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
  • ورود / ثبت نام
تعداد ۲۵۶۹ پاسخ غیر تکراری از ۲۶۶۴ پاسخ تکراری در مدت زمان ۰,۴۱ ثانیه یافت شد.

101. A course in mathematical logic for mathematicians

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / Yu. I. Manin

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: Logic, Symbolic and mathematical

Classification :
QA9
.
M29613
2010

102. A course on foundations of nonstandard analysis

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Kanovei, Vladimir

Library: Central Library and Documentation Center (Kerman)

Subject: ، Nonstandard mathematical analysis,، Mathematical analysis,، Functional analysis,، Logic, Symbolic and mathematical

Classification :
QA
299
.
82
.
K2
1994

103. A course on foundations of nonstandard analysis

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Kanovei, Vladimir

Library: Central Library of Amirkabir University of Technology (Tehran)

Subject: Nonstandard mathematical analysis, Logic, Symbolic and mathematical

Classification :
QA
299
.
82
.
K36
1994

104. A course on mathematical logic

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Srivastava, Shashi Mohan

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Textbooks ، Logic, Symbolic and mathematical,، Godel's theorem

Classification :
QA
9
.
S684C6
2013

105. A course on mathematical logic

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / S. M. Srivastava,Srivastava

Library: Library of College of Science University of Tehran (Tehran)

Subject: Logic, Symbolic and mathematical,a03

Classification :
QA
9
.
S65
2008

106. A course on mathematical logic

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Logic, Symbolic and mathematical. ;

Classification :

107. A course on mathematical logic

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Srivastava, Shashi Mohan

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Logic, Symbolic and mathematical

Classification :
QA
9
.
S684C6

108. A course on mathematical logic

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Shashi Mohan Srivastava

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Logic, Symbolic and mathematical

Classification :
QA9
.
S65
2013

109. A course on mathematical logic

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / Shashi Mohan Srivastava

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Logic, Symbolic and mathematical.

Classification :

110. A first course in logic

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / Shawn Shawn

Library: Central Library and Document Center of Arak University (Markazi)

Subject: Logic,symbolic and mathematical

Classification :
511
.
3
H452f

111. A first course in logic /

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Mark V. Lawson, Heriot-Watt University, Edinburgh.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Logic, Symbolic and mathematical, Problems, exercises, etc.,Logic.,Logic, Symbolic and mathematical.,Logic.,MATHEMATICS-- General.

Classification :
QA9
.
L37256
2018eb

112. A first course in logic

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / Shawn Hedman

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Logic.,Logic, Symbolic and mathematical.

Classification :
QA9
,.
H36
,
2004

113. A first course in logic

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Shawn Hedman,Title

Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)

Subject: Logic,Logic -- Symbolic and mathematical

Classification :
QA
.
H36
9
2004

114. A first course in logic

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Logic, Symbolic and mathematical ; Problems, exercises, etc. ; Logic. ;

Classification :

115. A first course in logic

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Logic. ; Logic, Symbolic and mathematical. ;

Classification :

116. A first course in logic

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / Shawn Hedman

Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)

Subject: Logic,Logic, Symbolic and mathematical

Classification :
QA9
.
H36
2004

117. A first course in logic :an introduction to model theory, proof theory, computability, and complexity

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Hedman, Shawn.

Library: Library of Mofid University (Qom)

Subject: ، Logic,، Logic, Symbolic and mathematical

Classification :
QA9
.
H36
2004

118. A first course in logic : an introduction to model theory, proof theory, computability, and complexity

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Hedman, Shawn

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Logic,، Logic, Symbolic and mathematical

Classification :
QA
9
.
H43F5

119. A first course in mathematical logic and set theory /

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Michael L. O'Leary

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Logic, Symbolic and mathematical,Mathematics,Set theory

Classification :
QA9

120. A first course in modern logic

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / /By/Edith Watson Schipper and Edward Schuh,Schipper

Library: Central Library and Documents Center of Tehran University (Tehran)

Subject: Logic, Symbolic and mathematical

Classification :
BC135
.
S33
  • »
  • 129
  • 128
  • 127
  • 126
  • 125
  • ...
  • 10
  • 9
  • 8
  • 7
  • 6
  • 5
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival